((v2 v3 1) (v2 v1 2) (v4 v2 3))
43
()